Formal semantics - PDFSEARCH.IO - Document Search Engine

Formal semantics
Results: 502

#	Item
411	Two Notions of Beauty in Programming Robert Harper (With Guy E. Blelloch) Computer Science Department Carnegie Mellon University Add to Reading List Source URL: www.cs.cmu.edu Language: English - Date: 2013-07-02 18:35:31 Computer science Logic in computer science Formal methods Denotational semantics Lambda calculus Combinatorics Mathematical logic Models of computation Theoretical computer science Applied mathematics
412	Appreciating Functions: Ed Keenan in the Early History of Formal Semantics1 Barbara H. Partee As I work on a book project on the history of formal semantics, I come to appreciate how everyone involved has a unique story, Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-11-03 17:18:59 Philosophy of language Formal languages Meaning Grammar Montague grammar Formal semantics Richard Montague Intensional logic General semantics Semantics Logic Linguistics
413	MIT 150th Symposium May[removed] – Brains, Minds, Machines Opening Panel May 3: The Golden Age – a look at the original roots of AI, Cognitive Science, Neuroscience, and Linguistics. [brief write-up in MIT News and o Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2014-05-02 02:15:02 Philosophy of language Formal semantics Lexical semantics Montague grammar Linguistic competence Syntax Language Meaning Generative semantics Linguistics Semantics Science
414	Project Description 1 System design with behavior tables Add to Reading List Source URL: www.cs.indiana.edu Language: English - Date: 2001-09-19 16:19:23 Models of computation Logic in computer science Programming language semantics Mathematical logic Denotational semantics Formal grammar Actor model Sheaf Table Mathematics Theoretical computer science Applied mathematics
415	A Logic-Based Framework for Reactive Systems Robert Kowalski and Fariba Sadri Department of Computing Imperial College London {rak,[removed]} Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2012-06-12 08:05:15 Model theory Formal languages Semantics Logic in computer science Programming language semantics Operational semantics Interpretation Term algebra First-order logic Logic Mathematical logic Mathematics
416	A Brief History of the Syntax-Semantics Interface in Western Formal Linguistics Barbara H. Partee, [removed] , http://people.umass.edu/partee/ University of Massachusetts, Amherst 0. Introduction The “s Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2013-11-14 12:42:00 Grammar Philosophy of language Noam Chomsky Generative semantics Lexical functional grammar Syntax Transformational grammar Syntactic Structures Ray Jackendoff Linguistics Generative linguistics Semantics
417	Partee, Barbara H[removed]Teaching formal semantics. In Teaching Linguistics: Reflections on Practice, ed. Koenraad Kuiper, [removed]London: Equinox Publishing. (Prepublication final draft before typesetting and proofreadin Add to Reading List Source URL: udrive.oit.umass.edu Language: English - Date: 2011-05-31 12:14:20 Science Formal languages Grammar Meaning Non-classical logic Montague grammar Formal semantics Intensional logic Modal logic Semantics Logic Linguistics
418	Development of correct graph transformation systems Preliminary abstract Karl-Heinz Pennemann University of Oldenburg, Germany?? [removed] Add to Reading List Source URL: formale-sprachen.informatik.uni-oldenburg.de Language: English - Date: 2008-06-11 06:38:02 Formal methods Graph rewriting Model checking Predicate transformer semantics Graph Graph theory Mathematics Theoretical computer science
419	Videoconferences with interpretation Evaluation project experience[removed] – 1 v0307 Add to Reading List Source URL: ec.europa.eu Language: English - Date: 2013-10-14 08:58:12 Model theory Philosophy of language Philosophy of mind Consultative Committee of Accountancy Bodies Language interpretation Logic Linguistics Philosophical logic Formal languages Semantics Interpretation
420	Curriculum Vitae Dr. Klaus Havelund Ph.D in Computer Science Senior Research Scientist (SRS) at NASA’s Jet Propulsion Laboratory California Institute of Technology (Caltech) Email: [removed] Add to Reading List Source URL: www.havelund.com Language: English - Date: 2014-06-16 09:55:49 Software engineering Runtime verification Formal verification Prototype Verification System Verification and validation Software development process Actor model Denotational semantics Java Pathfinder Formal methods Theoretical computer science Computing

UPDATE